From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality

نویسندگان

  • Robert Furber
  • Bart Jacobs
چکیده

C -algebras form rather general and rich mathematical structures that can be studied with different morphisms (preserving multiplication, or not), and with different properties (commutative, or not). These various options can be used to incorporate various styles of computation (set-theoretic, probabilistic, quantum) inside categories of C -algebras. At first, this paper concentrates on the commutative case and shows that there are functors from several Kleisli categories, of monads that are relevant to model probabilistic computations, to categories of C-algebras. This yields a new probabilistic version of Gelfand duality, involving the “Radon” monad on the category of compact Hausdorff spaces. We then show that the state space functor from C-algebras to Eilenberg-Moore algebras of the Radon monad is full and faithful. This allows us to obtain an appropriately commuting state-and-effect triangle for C-algebras.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A RELATION BETWEEN THE CATEGORIES Set * , SetT, Set AND SetT

In this article, we have shown, for the add-point monad T, thepartial morphism category Set*is isomorphic to the Kleisli category SetT. Alsowe have proved that the category, SetT, of T-algebras is isomorphic to thecategory Set of pointed sets. Finally we have established commutative squaresinvolving these categories.

متن کامل

Effectuses from Monads

Effectuses have recently been introduced as categorical models for quantum computation, with probabilistic and Boolean (classical) computation as special cases. These ‘probabilistic’ models are called commutative effectuses. All known examples of such commutative effectuses are Kleisli categories of a monad. This paper answers the open question what properties a monad should satisfy so that its...

متن کامل

Quantum Programs as Kleisli Maps

Furber and Jacobs have shown in their study of quantum computation that the category of commutative C∗-algebras and PU-maps (positive linear maps which preserve the unit) is isomorphic to the Kleisli category of a comonad on the category of commutative C∗-algebras with MIU-maps (linear maps which preserve multiplication, involution and unit). [3] In this paper, we prove a non-commutative varian...

متن کامل

Constructive Gelfand Duality for C*-algebras

We present a constructive proof of Gelfand duality for C*-algebras by reducing the problem to Gelfand duality for real C*-algebras.

متن کامل

ar X iv : m at h . O A / 0 21 13 45 v 1 2 1 N ov 2 00 2 On quantales and spectra of C * - algebras ∗

We study properties of the quantale spectrum MaxA of an arbitrary unital C*-algebra A. In particular we show that the spatialization of MaxA with respect to one of the notions of spatiality in the literature yields the locale of closed ideals of A when A is commutative. We study under general conditions functors with this property, in addition requiring that colimits be preserved, and we conclu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013